system of logic
英 [ˈsɪstəm ɒv ˈlɒdʒɪk]
美 [ˈsɪstəm əv ˈlɑːdʒɪk]
网络 穆勒名学; 逻辑体系; 逻辑系统
英英释义
noun
- a system of reasoning
双语例句
- N_l: a loose natural deduction system of temporal logic
NL：松弛时序逻辑自然推理系统 - A System of Belief Logic Based on Ordinal Conditional Function
一个基于顺序条件函数的信念逻辑系统 - A first order system of vector logic is studied.
讨论了向量值一阶逻辑形式系统。 - And I prove the formal axiomatic system of prepositional logic that is made up of Axiomatic Mode and the Rule of Detachment does not possess syntactic perfectibility.
证明：由公理模式和分离规则构成的命题逻辑公理系统不具有语法完全性。 - Traditional Logic and Modern Logic: A Concurrent Analysis of the Construction of Teaching System of Logic Course
如何对待传统逻辑与现代逻辑&兼谈逻辑学教学体系的构建 - Describes the constitution of integrated platform of chemical simulation, details of technology to realize the system, and methods of how to create the system of logic and counterplan for safety, and how to create the system of evaluation to operations.
介绍了运用虚拟现实技术完成对化工安全综合仿真平台的构建、系统实现的具体技术细节、以及安全预案逻辑仿真与操作评分系统的建立方法。 - Predicate calculus system of medium logic(ⅰ)
中介逻辑的谓词演算系统（Ⅰ） - In propositional calculus system of medium logic ( MP~), superior disjunctive normal form theorem and two corollary have been proved.
本文证明了MP~中的完全析取范式定理及其两个推论。文中也给出了判别Γ（？） - The system of quantum logic and the solutions of uncompatibility
量子逻辑系统及其不相容性的解决 - Liang Qi-cao was the earliest one early in the twentieth century to sum up the contents of the logical system of Mohist School and initially put forward a system of Mohist Logic.
二十世纪初，梁启超最早对墨家逻辑体系的内容进行了总结概括，初步提出了一个墨家逻辑的体系。